Fiorino, Guido: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A tableau calculus for Propositional Intuitionistic Logic with a refined treatment of nested implications

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

Journal of Applied Non-Classical Logics

Year:

2009

Language:

english

File:

PDF, 183 KB

english, 2009

2

A secondary semantics for Second Order Intuitionistic Propositional Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Mathematical Logic Quarterly

Year:

2004

Language:

english

File:

PDF, 159 KB

english, 2004

3

Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus

Journal:

Information Sciences

Year:

2010

Language:

english

File:

PDF, 841 KB

english, 2010

4

Optimization techniques for propositional intuitionistic logic and their implementation

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.70 MB

english, 2008

5

(oldsymbol {cal BC!D!L}): Basic Constructive Description Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Journal of Automated Reasoning

Year:

2010

Language:

english

File:

PDF, 536 KB

english, 2010

6

Efficient learning with equivalence queries of conjunctions of modulo functions

Alberto Beitoni, Nicolò Cesa-Bianchi, Guido Fiorino

Journal:

Information Processing Letters

Year:

1995

Language:

english

File:

PDF, 281 KB

english, 1995

7

ESBC: an application for computing stabilization bounds

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 291 KB

english, 2006

8

An O(nlog n)-SPACE Decision Procedure for the Propositional Dummett Logic

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 154 KB

english, 2001

9

Cystic medullary thyroid carcinoma: Report of a case with morphological and clinical correlations

Guido Fadda, Antonino Mulè, Vittoria Rufini, Guglielmo Ardito, Luca Revelli, Marilena C. Fiorino, Arnaldo Capelli

Journal:

Endocrine Pathology

Year:

2000

Language:

english

File:

PDF, 316 KB

english, 2000

10

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 1.11 MB

english, 2013

11

Terminating Calculi for Propositional Dummett Logic with Subformula Property

Journal:

Journal of Automated Reasoning

Year:

2014

Language:

english

File:

PDF, 927 KB

english, 2014

12

On the complexity of the disjunction property in intuitionistic and modal logics

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2005

Language:

english

File:

PDF, 169 KB

english, 2005

13

An Evaluation-Driven Decision Procedure for G3i

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2015

Language:

english

File:

PDF, 760 KB

english, 2015

14

Simplification Rules for Intuitionistic Propositional Tableaux

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 1.23 MB

english, 2012

15

Intraoperative Monitoring for Hearing Preservation and Restoration in Acoustic Neuroma Surgery

Colletti, Vittorio, Fiorino, Francesco G., Carner, Marco, Cumer, Guido, Giarbini, Nadia, Sacchetto, Luca

Journal:

Year:

2000

Language:

english

File:

PDF, 556 KB

english, 2000

16

Advantages of the Retrosigmoid Approach in Auditory Brain Stem Implantation

Colletti, Vittorio, Fiorino, Francesco G., Carner, Marco, Giarbini, Nadia, Sacchetto, Luca, Cumer, Guido

Journal:

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

17

JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi

Ferrari, Mauro, Fiorentini, Camillo, Fiorino, Guido, Giordano, Laura, Gliozzi, Valentina, Pettorossi, Alberto, Pozzato, Gian Luca

Journal:

Fundamenta Informaticae

Year:

2017

Language:

english

File:

PDF, 167 KB

english, 2017

18

Macrofollicular Encapsulated Variant of Papillary Thyroid Carcinoma as a Potential Pitfall in Histologic and Cytologic Diagnosis

Fadda, Guido, Fiorino, Marilena C., Mulè, Antonino, LiVolsi, Virginia A.

Journal:

Acta Cytologica

Year:

2002

Language:

english

File:

PDF, 337 KB

english, 2002